(variable: relations)Relations
(variable: relations)比較演算(hd_id2083193.)

Typed command(s)
入力コマンド(par_idN10C98.)

Symbol in Formula Elements Window
数式要素ウィンドウ中の記号(par_id3154032.475)

Meaning
説明(par_id3147272.477)

< or lt
< または lt(par_idN10E08.)

(par_id3156247.)

Less than
小なり(par_id3150068.68)

<< or ll
<< または ll(par_id9464726.)

Much less than
非常に小さい(par_id3149922.80)

<= or le
<= または le(par_idN11059.)

(par_id3153031.)

Less than or equal to
以下(par_id3152714.76)

<> or neq
<> または neq(par_idN10D00.)

(par_id3155548.)

Not equal
等しくない(par_id3148672.32)

= (par_idN10CBF.)

(par_id3150600.)

Equation
等号(par_id3155358.30)

> or gt
> または gt(par_idN10E4D.)

(par_id3152978.)

Greater than
大なり(par_id3150515.66)

>= or ge
>= または ge(par_idN1109E.)

(par_id3152741.)

Greater than or equal to
大きいか等しい(par_id3150308.70)

>> or gg
>> または gg(par_idN11183.)

Much greater than
非常に大きい(par_id3153863.74)

approx (par_idN10D45.)

(par_id3150840.)

Is approximately
近似的に等しい(par_id3148622.86)

def (par_id9866497.)

is defined as/by definition equal to
定義では等しい(par_id3148502.82)

divides (par_idN10D86.)

(par_id3154050.)

divides
除算(par_id3153749.375)

dlarrow (par_idN11165.)

(par_id3150419.)

Arrow with double line to the left
二重線の左向き矢印(par_id3163845.383)

dlrarrow (par_idN111A6.)

(par_id3154424.)

Arrow with double line to the left and the right
二重線の左向き矢印、二重線の右向き矢印(par_id3156166.387)

drarrow (par_idN111E7.)

(par_id3155410.)

Arrow with double line to the right
a ならば b (drarrow)(par_id3155291.385)

equiv (par_idN11018.)

(par_id3153373.)

Is equivalent/congruent to
合同(par_id3152934.84)

geslant (par_idN10F96.)

(par_id3149139.)

Greater than-equal to
大なり、等しい(par_id3153616.72)

leslant (par_idN10F55.)

(par_id3153648.)

Less than-equal to
小なり、等しい(par_id3153690.78)

ndivides (par_idN10DC7.)

(par_id3145098.)

does not divide
分けない(par_id3150374.377)

ortho (par_idN10F14.)

(par_id3152809.)

Is orthogonal to
垂直(par_id3151063.94)

parallel (par_idN10ED3.)

(par_id3153161.)

Is parallel to
平行(par_id3152784.96)

prop (par_idN110E3.)

(par_id3150336.)

Is proportional to
比例(par_id3153930.92)

sim (par_idN10FD7.)

(par_id3154416.)

Is similar to
相似(par_id3145154.88)

simeq (par_idN10E92.)

(par_id3149265.)

Is similar or equal to
似ているか、等しい(par_id3151346.90)

toward (par_idN11124.)

(par_id3153957.)

Toward
右向き矢印(par_id3155844.134)

transl (par_id4814489.)

Correspondence symbol image of
対応記号像(par_id3152853.98)

transr (par_id3677758.)

Correspondence symbol original of
対応記号オリジナル(par_id3157974.100)